Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
471	Putting the hunt into words: Formal features of Nanti hunting stories in Montetoni (Southeastern Peruvian Amazonia) Christine Beier Symposium on Endangered Languages of Amazonia University of Texas at Austin Add to Reading List Source URL: www.ailla.utexas.org Language: English - Date: 2007-02-06 10:28:00 Animals in sport Hunting Animal rights Anti-hunting Style Sports Fox hunting Sports law Hunting in the United Kingdom
472	A A Semantic Web Approach To Everyday Overlapping Markup Angelo Di Iorio, , Department of Computer Science, University of Bologna Silvio Peroni, , Department of Computer Science, Uni Add to Reading List Source URL: speroni.web.cs.unibo.it Language: English - Date: 2013-02-22 04:04:35 Web standards Formal languages Semantic HTML Business cards Metadata publishing EARMARK VCard RDFa Microformat Computing World Wide Web Semantic Web
473	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran-mirror.cs.uu.nl Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
474	Pass-Join: A Partition-based Method for Similarity Joins Guoliang Li Dong Deng Jiannan Wang Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-11-20 04:43:42 Mathematics Substring Linguistics Formal languages Combinatorics String
475	The Fixed String of Elementary Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:04 Theoretical computer science Discrete mathematics Character encoding String L-system FO Formal languages Mathematics Combinatorics on words
476	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic
477	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.repo.bppt.go.id Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
478	A Formal Approach to Spanish Morphology: the COES Tools Santiago Rodr´ıguez, Jes´ us Carretero Facultad de Inform´atica Universidad Polit´ecnica de Madrid (UPM), Spain Add to Reading List Source URL: www.datsi.fi.upm.es Language: English - Date: 2010-03-11 09:14:50 Inflection Morphology Lexeme Word stem Grammatical conjugation Morpheme Verb Irregular verb Languages of the United States Linguistics Grammar Linguistic morphology
479	BRICS Basic Research in Computer Science BRICS RSAger et al.: On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluatio On Obtaining Knuth, Morris, and Pratt’s Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-08-12 05:12:36 Formal languages String matching algorithms Logic in computer science Programming language semantics Donald Knuth Knuth–Morris–Pratt algorithm String Algorithm Functional programming Mathematics Theoretical computer science Computing
480	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-24 08:03:05 Number Recursive transition network Truthiness Formal grammar 0.999... Regular expression Backus–Naur Form Formal languages Mathematics Combinatorics

UPDATE